781. Theoretical aspects of computing -- ICTAC 2005 : second International Colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings
پدیدآورنده: Dang Van Hung, Martin Wirsing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3722
782. Theoretical computer science: 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Congresses
رده :
QA
76
.
G4
1977
783. Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing--Congresses,، Electronic digital computers--Congresses
رده :
QA
75
.
5
.
I76
1992
784. Theory of computing and systems : ISTCS'92, Israel symposium, Haifa, Israel, May 27-28 : proceedings
پدیدآورنده: D. Dolev, Z. Galil, M. Rodeh, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
601
785. Third International Workshop on Object-oriented Real-time Dependable Systems: proceedings, February 5-7, 1997, Newport Beach, California, U.S.A
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Object-oriented databases,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
9
.
D3
.
I587
1997
786. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
787. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده: Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
788. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده: E. Brinksma ... )et al.(, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
789. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده: Ed Brinksma )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
790. Topics in the theory of computation
پدیدآورنده: / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
رده :
QA
,
267
,.
I56
,
1983
791. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
پدیدآورنده: Miquel Bertran, Teodor Rus, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1231
792. Trends in distributed systems CORBA and Beyond : International Workshop TreDS'96, Aachen, Germany, October 1-2, 1996 : proceedings
پدیدآورنده: Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1161
793. Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings
پدیدآورنده: Claudia Linhoff-Popien, Heinz-Gerd Hegering )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1890
794. Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing - Congresses,، Electronic digital computers - Congresses
رده :
QA
75
.
5
.
T73
795. Unconventional Computation and Natural Computation
پدیدآورنده: \ Cristian S. Calude, Michael J. Dinneen (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Electronic data processing,Soft computing,داده پردازی ,محاسبات نرم, -- Congresses, -- کنگره‌ها,a03,a05,a03,a05
رده :
QA
75
.
5
.
U25
U5
2015
E-Book
,
796. Unconventional computation and natural computation
پدیدآورنده: Jérôme Durand-Lose, Nataša Jonoska (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing, Congresses,Soft computing, Congresses
رده :
QA75
.
5
.
U26
2012eb
797. University education in computing science; proceedings
پدیدآورنده : Edited by Aaron Finerman,Title
موضوع : Electronic data processing - Study and teaching - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
798. University education in computing science; proceedings
پدیدآورنده: Conference on Graduate Academic and Related Research Programs in Computing Science, 7691, State University of New York, Stony Brook
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Study and teaching-- Congresses
رده :
QA
76
.
C5865
1967
799. Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings
پدیدآورنده: Akhil Sahai, Felix Wu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Management -- Computer programs -- Congresses ، Electronic commerce,Management -- Congresses ، Utilities )Computer programs(
رده :
QA
76
.
L28
Vol
.
3278
800. VMEbus in research
پدیدآورنده: edited by C. Eck and C. Parkman
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Research- Data processing- Congresses,Physics- Research- Data processing- Congresses,Electronic data processing- Congresses,VME (Computer bus)- Congresses
رده :
Q
،
180
,.
55
،.
E4
,
V64
